package roborally.program.conditions;

import roborally.model.Robot;

/**
 * A class for dealing with true-conditions: (true).  
 * 
 * @version	1.0
 * @author  Pieter Robberechts	(1e Bach Informatica)
 * @author	Jeroen Sanders		(1e Bach Informatica)
 *
 */
public class True extends Condition {

	/**
	 * Initialize this new true-condition with a line-number.
	 * 
	 */
	public True(int lineNb) {
		super(lineNb);
	}

	/**
	 * Evaluate this condition for a given robot.
	 * 
	 * @return	The result is always true.
	 * 			| result == super.evaluate(robot)
	 */
	@Override
	public boolean evaluate(Robot robot) {
		return super.evaluate(robot);
	}
	
	/**
	 * Return a textual representation of this true-condition,
	 * formatted in accordance with its position in the program.
	 * 
	 * @return	The result is a pretty formatted string of this true-condition,
	 * 			taking in account his relative position in the program.
	 * 			| result == getIndentation(indentationLevel) + "(true)"
	 */
	@Override
	public String prettyFormat(int indentationLevel) {
		return getIndentation(indentationLevel) + "(true)";
	}

}
